Rigorous Development with UML-RT

With model-driven development being on the verge of becoming an industrial standard, systematic development strategies based on safe model transformations is a demand. However, the lack of a formal semantics makes the application of such transformations inadequate, especially transformations that must take into account changes in both behavioural and structural diagrams. As part of the Master thesis briefly summarised in this paper [Ramos, 2005], we have defined a semantics for UML-RT through a mapping into a formal notation, called Circus. Based on the semantics, we have proposed a set of transformation laws that aims to systematise the evolution of UML-RT models during development, with preservation of both static and dynamic aspects. Soundness and completeness of the laws are also addressed, and a case study has been developed to illustrate the overall approach.